forall(x: T) -> U
